National Support for World Order

Factors Affecting Educational Reform at the Level of National and Regional Support for High School

Purpose: This research was conducted with the aim of identifying effective factors on educational reform at the level of national and regional supports for high school mathematics. Methodology: The present study in terms of purpose was applied and in terms of implementation method was qualitative, which was performed in two stages of synthesis research and content analysis. The research enviro...

Explanation of Theoretical Basics of Analysis of the World Order

Possible World Semantics for First Order LP

In the tech report [3] an elegant formulation of the first-order logic of proofs was given, FOLP. This logic plays a fundamental role in providing an arithmetic semantics for first-order intuitionistic logic, as was shown. In particular, the tech report proved an arithmetic completeness theorem, and a realization theorem for the FOLP. In this paper we provide a possible-world semantics for FOLP...

Telemedicine support for the developing world.

Telemedicine has been used for some years in the industrialized world, albeit with rather mixed success. There is also a considerable literature on the potential use of telemedicine for the developing world. However, there are few reports of the actual use of telemedicine there. A review identified five telemedicine networks providing second opinions; each network had been in operation for over...

Silhouettell: Awareness Support for Real-World Encounter

We have developed a system, called Silhouettell, that provides awareness support for real-world encounters. Silhouettell uses a large graphics screen. People's locations (who and where) are projected as shadows on the screen. The feedback from the shadows allows people to naturally know each other. Silhouettell also selects and presents topics common to two to or more people to make conversatio...